#! /bin/sh

export max=15

for n in $(seq 3 $max)
do
	export K=$(expr $n \* 2)
	for k in $(seq 0 $K)
	do
		bash launch.sh --bcube $n --nfa reachability.json -k $k
		bash launch.sh --bcube $n --nfa reachability.json -k $k --negative
	done
done

